Hakuluettelo:
Käännös:
many-sorted logic (suomeksi)
- Määritelmät:
- (lb, en, logic) A logic that directly supports classification of entities into disjunct sorts.
Viimeisimmät haut: many-sorted logic, tween, Amazon lily, preorganisation, kaulailla, jumping castle